Has an army ever managed to defeat a terrorist/guerilla organization through outright warfare? If so, what were the (documented/reported) civilian casualties?